Resident’s programme prizes — annual meeting 1981

Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981

S OF PAPERS 899 Indecomposability is a weakening of the concept of measurability; indeed, inaccessible cardinals carrying indecomposable ultrafilters exhibit some of the strong reflection properties of measurable cardinals. Silver asked whether the two notions were actually equivalent for inaccessible cardinals, i.e., whether an inaccessible cardinal carrying an indecomposable ultrafilter must ...

Highlights and prizes of an international meeting.

A short description selected from the presentations which had been awarded prizes in the 4th International Meeting of Nuclear Medicine, of the Hellenic Society of Nuclear Medicine, in Thessaloniki, Greece, is as follows: Professor L.G. Strauss from Heidelberg received the first prize for his original paper under the title: "Modulation of FDG kinetics in tumors by gene expression". He studied 25...

The Annual SUMO Reasoning Prizes at CASC

Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge bases that have large numbers of axioms of which only a small number may be relevant to any given query. We have created a category in the new LTB division of CASC to test this sort of situation. We present an analysis of ...

Annual Meeting

annual meeting

S ORAL PRESENTATIONS 4 ABSTRACTS POSTERS 22S POSTERS 22